Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
721	Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:49:23 Metalogic Model theory Combinatorics on words Automata theory Models of computation Second-order logic Interpretation First-order logic Finite-state machine Formal languages Logic Mathematics
722	Statechart selection c state-creation Add to Reading List Source URL: www.pauljlucas.org Language: English - Date: 2012-08-29 10:26:44 Automata theory Diagrams Theoretical computer science Digital electronics State diagram Computer science Finite-state machine Transition GUI widget Models of computation Computing UML diagrams
723	Microsoft Word - ChemEngA-Mahsa Ghael Candidacy Final.doc Add to Reading List Source URL: research.curtin.edu.au Language: English Mathematical optimization Planning Theoretical computer science Models of computation Scheduling algorithms Petri net Job shop scheduling Scheduling Genetic algorithm Operations research Applied mathematics Mathematics
724	Microsoft Word - ec_problems_2009_v7.doc Add to Reading List Source URL: www.ch24.org Language: English - Date: 2010-12-16 06:08:01 Software engineering Matrix State space C Quantum circuit Programming language theory Quantum information science Computing Models of computation
725	Decision Problems for Deterministic Pushdown Automata on Infinite Words ¨ Christof Loding RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-07-22 06:08:02 Formal languages Computer science Deterministic pushdown automaton SC Finite-state machine Alphabet Ordinal number Nested word Automata theory Theoretical computer science Models of computation
726	Changing Flights in Mid-air: A Model for Safely Modifying Continuous Queries Kyumars Sheykh Esmaili, Tahmineh Sanamrad, Peter M. Fischer, Nesime Tatbul Systems Group, ETH Zurich, Switzerland {kyumarss, sanamrat, petﬁs Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2011-04-19 11:39:05 Database management systems Models of computation Query languages Database theory Programming paradigms SQL FO Database Bin Computing Data management Theoretical computer science
727	Technical Report UCAM-CL-TR-860 ISSN[removed]Number 860 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-10-27 06:21:45 Programming language semantics Applied mathematics Models of computation Denotational semantics Programming paradigms Abstraction Programming language Domain theory Operational semantics Theoretical computer science Logic in computer science Mathematics
728	Minimalist Multiple Target Tracking Using Directional Sensor Beams Leonardo Bobadilla, Oscar Sanchez, Justin Czarnowski, Steven M. LaValle Abstract— We consider the problem of determining the paths of multiple, unpredi Add to Reading List Source URL: msl.cs.uiuc.edu Language: English - Date: 2011-10-14 01:25:06 Mathematical optimization Models of computation Multi-agent systems Dynamic programming Operations research Optimal control Algorithm Agent-based model Wireless sensor network Mathematics Systems theory Science
729	A Simple and General Theoretical Account for Abstract Types? Hongwei Xi Boston University Abstract. A common approach to hiding implementation details is Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2009-06-27 22:37:34 Dependently typed programming Type theory Models of computation Height Infinite group theory Generalized algebraic data type Lambda calculus Normalisation by evaluation Theoretical computer science Software engineering Mathematics
730	Distributed Safety Controllers for Web Services Anders Sandholm and Michael I. Schwartzbach BRICS? , Department of Computer Science University of Aarhus, Ny Munkegade DK-8000 Aarhus C, Denmark Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-03-08 16:48:16 Formal methods Computer science Finite-state machine Petri net Automata theory Models of computation Theoretical computer science

UPDATE